((All (RepUR ``can{-}apply p{-}compose``)) 
\\[0ex]CollapseTHEN ((((if (0
\\[0ex]) =0 then SplitOnConclITE else SplitOnHypITE (0))$\cdot$) 
\\[0ex]THEN (Auto$\cdot$))$\cdot$))$\cdot$